#ifndef QBDDFILE_H
#define QBDDFILE_H

#include <QFile>
#include <QStringList>
#include <QTextStream>
#include "qtrace.h"
#include "plp_header.h"

class QBDDFile : public QFile
{
	Q_OBJECT

public:
	QBDDFile(QString name);
	~QBDDFile();

	void goTo(quint32 index) { m_index = index; }
	void begin() { goTo(0); }
	void next() { m_index++; }
	QStringList current();
	QStringList header() { return m_header; }


private:
	QStringList m_header;
	QList<QStringList> m_data;
	quint32 m_index;

};

#endif // QBDDFILE_H
